Applications of Automated Reasoning
نویسندگان
چکیده
This paper offers an informal overview and discussion on first order predicate logic reasoning systems together with a description of applications which are carried out in the Artificial Intelligence Research Group of the University in Koblenz. Furthermore the technique of knowledge compilation is shortly introduced.
منابع مشابه
Reasoning about Iteration in Gödel's Class Theory
A computer implementation of Gödel’s algorithm for class formation in Mathematica was used to formulate definitions and theorems about iteration in Gödel’s class theory. The intent is to use this approach for automated reasoning about a variety of applications of iteration using McCune’s automated reasoning program Otter. The applications include the theory of transitive closures of relations, ...
متن کاملMany-valued logics 2 - automated reasoning and practical applications
many valued logics 2 automated reasoning and practical applications What to say and what to do when mostly your friends love reading? Are you the one that don't have such hobby? So, it's important for you to start having that hobby. You know, reading is not the force. We're sure that reading will lead you to join in better concept of life. Reading will be a positive activity to do every time. A...
متن کاملResearch in Automated Reasoning
A large part of Artificial Intelligence (AI) is based on the idea that the best way for a computer to produce intelligent behavior in many application domains is by explicitly encoding knowledge about the domain in some “knowledge base” KB, and then using reasoning algorithms to extract consequences from that knowledge. Knowledge representation deals with the issue of defining languages suitabl...
متن کاملThree Stories on Automated Reasoning for Natural Language Understanding
Three recent applications of computerised reasoning in natural language processing are presented. The first is a text understanding system developed in the late 1990s, the second is a spoken-dialogue interface to a mobile robot and automated home, and the third is a system that determines textual entailment. In all of these applications, off-the-shelf tools for reasoning with first-order logic ...
متن کاملIntelligent Component Retrieval via Automated Reasoning
Effective application of AI techniques requires an understanding of how the representation vs. reasoning tradeoffs impact the domain of interest. In this paper we evaluate these tradeoffs for the software engineering problem of automatically retrieving components from a library. We generalize our experience in building several automated component retrieval and automated program synthesis system...
متن کامل